scott domain meaning in English
scott域
斯科特域
Examples
- By constructing two kinds of sup - semi lattices , the equivalence between the category of posets and the category of algebraic domains can be restricted to both the category of algebraic l - domains and that of scott domains . to prepare for the next part , the cartesian closed properties of three categories are given at the end of this part
第四节讨论了连续domain的开、闭遗传性;类似于交连续格,给出了交连续完备半格的一个刻划定理;通过构造两种新的半格,给出局部代数格范畴和scottdomain范畴的等价范畴 - The cartesian closed properties of some distributive domains are obtained , such as the categories of distributive meet - continuous semi - lattices , distributive continuous complete semi - lattices , distributive algebraic complete semi - lattices ( distributive scott domains ) . generally , we have that the categorical products are cartesian products and the exponential objects are in fact the function spaces of stable functions under stable orders in any full subcategory of slp
得到了以稳定映射为态射的完备半格范畴、连续完备半格范畴、代数完备半格范畴都不是笛卡尔闭的,而以分配的交连续完备半格、分配的cos 、分配的scottdomain等为对象的slp的满子范畴是笛卡尔闭的